منابع مشابه
A Path-Precise Analysis for Property Synthesis
Recent systems such as SLAM, Metal, and ESP help programmers by automating reasoning about the correctness of temporal program properties. This paper presents a technique called property synthesis, which can be viewed as the inverse of property checking. We show that the code for some program properties, such as proper lock acquisition, can be automatically inserted rather than automatically ve...
متن کاملThe Stationarity of Internet Path Properties: Routing, Loss, and Throughput
There is much interest in using network measurements for both modeling and operational purposes. In this paper we focus on the fundamental question of the stationarity of such measurements. That is, to what extent are past measurements a good predictor of the future? We used the NIMI infrastructure and a set of public traceroute servers to capture large measurement datasets of three quantities:...
متن کاملThe algebraic Monge property and path problems
We give algorithmic results for combinatorial problems with cost arrays possessing certain algebraic Monge properties. We extend Monge-array results for two shortest path problems to a general algebraic setting, with values in an ordered commutative semigroup, if the semigroup operator is strictly compatible with the order relation. We show how our algorithms can be modified to solve bottleneck...
متن کاملA Study on Structure and Property of Special Sulfonated Petroleum as a Complicated Anionic Surfactant
Alkaline/surfactant/polymer (ASP) flooding has been extensively applied to enhancing oil recovery. As an oil displacement agent, pe1troleum sulfonate (PS) is widely used in ASP pilot experiments. It is very important to find a petroleum sulfonate with a high interfacial activity and low adsorption loss. Anionic surfactant petroleum sulfonate is synthesized in a single-tube film sulfonation reac...
متن کاملEvaluating SPARQL 1.1 Property Path Support
With the release of SPARQL 1.1 in 2013 property paths were introduced, which make it possible to describe queries that do not explicitly define the length of the path that is traversed within an RDF graph. Already existing RDF stores were adapted to support property paths. In order to give an insight on how well the current implementations of property paths in RDF stores work, we introduce a be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Probability and Mathematical Statistics
سال: 2019
ISSN: 2300-8113,0208-4147
DOI: 10.19195/0208-4147.39.2.9